Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
411	SURF 101 Getting Started with SIMGRID Models Da SimGrid Team April 22, 2014 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-02-23 12:35:12 Central processing unit Computing Computer engineering Operations research Software Kernel Load Simulation Protection ring
412	Administrivia  Design of Parallel and High-Performance Computing Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-11-23 13:58:39 Concurrency control Computing Computer programming Software engineering Lock Readerswriter lock Non-blocking algorithm Mutual exclusion Spinlock Monitor Fetch-and-add File locking
413	A Case for Static Analyzers in the Cloud (Position paper) Michael Barnett1 Mehdi Bouaziz2 Manuel F¨ahndrich1 Francesco Logozzo1 1 2 Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Software engineering Evaluation Abstract interpretation Cloud computing Static program analysis Server Analysis AbsInt
414	MEMORANDUM TO ADVANCE COMMITTEE AGENDA ITEM TO THE BOARD OF REGENTS THE UNIVERSITY OF NEW MEXICO DATE: Add to Reading List Source URL: pdc.unm.edu Language: English - Date: 2016-06-02 17:22:29 Civil engineering Construction (Design and Management) Regulations Construction Const Software engineering Computing Engineering
415	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.4.A – Teil 1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:14 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Data modeling Meta-Object Facility Metamodeling KM3 Object Constraint Language Generic Modeling Environment Semantics
416	Low Cost Advanced Driver Assistance System Development Hong Bae, PhD, IAV Automotive Engineering 14 August 2013 Add to Reading List Source URL: www.ndia-mich.org Language: English - Date: 2013-08-19 13:26:23 Engineering Computing Technology Ethics Philosophy of science Raspberry Pi Software development Systems engineering Software
417	User Defined Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Writing Java UDFs....................... Add to Reading List Source URL: pig.apache.org Language: English - Date: 2016-06-08 16:05:33 Software engineering Computing Computer programming Object-oriented programming languages Concurrent programming languages Subroutines Control flow Cross-platform software User-defined function Eval Scala Java
418	TECHNICAL SPECIALIST Technology Service Corporation (TSC), an Engineering Services Provider providing Radar & Sensor technology, Algorithm & Software development, Modeling & Simulation, Test & Evaluation, Element-Level a Add to Reading List Source URL: www.tsc.com Language: English - Date: 2016-07-11 10:12:24 Engineering Computer hardware Computer data storage Aegis Ballistic Missile Defense System Missile Defense Agency Aegis Solid-state drive Professional certification Systems engineering TSC Project management
419	Microsoft Word - Document2 Add to Reading List Source URL: mylittlecaravan.com.au Language: English - Date: 2016-07-06 21:42:57 Paper folding Origami Visual arts Leisure Software engineering Cricket equipment Paper art Crease Fold Orizuru YoshizawaRandlett system Mathematics of paper folding
420	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology

UPDATE